A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation
نویسندگان
چکیده
منابع مشابه
A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation
We introduce an extension of the classic Discrete Event System Specification (DEVS) formalism that includes stochastic features. Based on the use of the probability spaces theory we define the stochastic DEVS (STDEVS) specification, which provides a formal framework for modeling and simulation of general non-deterministic discrete event systems. The main theoretical properties of the STDEVS fra...
متن کاملA JAVA-BASED FRAMEWORK FOR DISCRETE EVENT SIMULATION A framework for Discrete Event Simulation and MOdeling
The system presented bridges the gap between three different research areas: discrete event simulation, heuristic optimization methods and distributed systems technology. Its goal is to provide a framework which supports an efficient implementation of simulation optimization projects, including heuristic optimum seeking procedures and parallel execution of experiments. It is written completely ...
متن کاملSupporting dynamic simulations with Simulation Modeling Architecture (SiMA): a Discrete Event System Specification-based modeling and simulation framework
In this paper, we present our approach to introduce dynamism support to simulation environments, which adopts a Discrete Event System Specification (DEVS)-based modeling and simulation approach and builds upon previous work on Simulation Modeling Architecture (SiMA), a DEVS-based simulation framework developed at TUBITAK UEKAE. In the relevant literature there are already proposed solutions to ...
متن کاملA Unified Modeling Framework for Discrete Event Simulation
We propose a unified modeling framework for discrete event simulation. Our approach aims to provide a generic framework to simplify construction of simulation models, and at the same time provide the capability to capture the dynamic, static, and functional aspects of a system under study. We adopt a graphical modeling technique that integrates best practices from several powerful modeling para...
متن کاملSiMA: a discrete event system specification-based modelling and simulation framework to support model composability
In this paper we briefly present our views on composability of models and interoperation of simulations; we introduce our simulation software framework, namely Simulation Modelling Architecture (SiMA), and we present our contributions to the underlying formal model (i.e. discrete event system specification). We also present our simulation construction environment, which supports composability o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIMULATION
سال: 2009
ISSN: 0037-5497,1741-3133
DOI: 10.1177/0037549709104482